GtkWidget *wrap_with_scroll_pane(GtkWidget *widget);
